finite automata transition table